1. Advanced Arithmetic for the Digital Computer :
Author: by Ulrich W. Kulisch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer network architectures.,Computer science.
Classification :
QA76
.
9
.
C62
B985
2002
2. C++ Toolbox for Verified Computing I :
Author: by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Global analysis (Mathematics),Mathematics.
Classification :
QA76
.
73
.
C153
B985
1995
3. Computer Aided Proofs in Analysis
Author: edited by Kenneth R. Meyer, Dieter S. Schmidt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Global analysis (Mathematics).,Mathematics.
4. Computer arithmetic in theory and practice
Author: Ulrich W. Kulisch, Willard L. Miranker
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Algebra, Abstract,Interval analysis (mathematical),Floating - Point arithmetic
Classification :
QA
,
162
,.
K84
,
1981
5. Developments in Reliable Computing
Author: edited by Tibor Csendes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Computer science.,Electronic data processing.
6. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
Author: Christian Herde ; With a foreword by Martin Fränzle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
Classification :
QA76
.
9
.
A96
H47
2011
7. Granular Computing
Author: edited by Witold Pedrycz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
8. J. UCS :
Author: Hermann Maurer, Cristian Calude, Arto Salomaa (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Computer science.,Information technology.
9. Numerical Toolbox for Verified Computing I :
Author: by Ulrich Kulisch, Rolf Hammer, Dietmar Ratz, Matthias Hocks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Numerical analysis.
Classification :
QA300
.
B985
1993
10. Perspectives on enclosure methods
Author: Ulrich Kulisch, Rudolf Lohner, Axel Facius (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer arithmetic.,Interval analysis (Mathematics)
Classification :
QA76
.
9
.
C62
U475
9999
11. Sensitivity Analysis in Linear Systems
Author: by Assem Deif.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering mathematics.,Engineering.
Classification :
QA402
.
B937
1986
